great lower bound of a set